On elementary equivalence in fuzzy predicate logics
نویسندگان
چکیده
منابع مشابه
On elementary equivalence in Fuzzy Predicate Logics
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Rening the method of diagrams we give a solution to an open problem of P. Hajek and P. Cintula (Conjectures 1 and 2 of [HaCi06]). We investigate also the properties of elementary extensions in witnessed ...
متن کاملOn elementary equivalence in fuzzy predicate logics
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of P. Hájek and P. Cintula (Conjectures 1 and 2 of [HaCi06]). We investigate also the properties of elementary extensions in witnesse...
متن کاملOn elementary equivalence in Fuzzy Predicate Logics
Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Rening the method of diagrams we give a solution to an open problem of P. Hajek and P. Cintula (Conjectures 1 and 2 of [HaCi06]). We investigate also the properties of elementary extensions in witnessed ...
متن کاملOn elementary extensions in Fuzzy Predicate Logics
Abstract. Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counte...
متن کاملOn Elementary Extensions in Fuzzy Predicate Logics
Our work is a contribution to the model-theoretic study of equality-free fuzzy predicate logics. We give a characterization of elementary equivalence in fuzzy predicate logics using elementary extensions and introduce an strengthening of this notion, the so-called strong elementary equivalence. Using the method of diagrams developed in [5] and elementary extensions we present a counterexample t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Archive for Mathematical Logic
سال: 2012
ISSN: 0933-5846,1432-0665
DOI: 10.1007/s00153-012-0303-x